another name for defined. There are any references about another name for defined in here. you can look below.